Angelo Troina: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Interactions between Computer Science and Biology

Giannini, Paola, Merelli, Emanuela, Troina, Angelo

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 132 KB

english, 2015

2

Preface

Merelli, Emanuela, Troina, Angelo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 109 KB

english, 2013

3

On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics

Aldinucci, Marco, Calcagno, Cristina, Coppo, Mario, Damiani, Ferruccio, Drocco, Maurizio, Sciacca, Eva, Spinella, Salvatore, Torquati, Massimo, Troina, Angelo

Journal:

BioMed Research International

Year:

2014

Language:

english

File:

PDF, 1.58 MB

english, 2014

4

[IEEE 2011 19th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Ayia Napa, Cyprus (2011.02.9-2011.02.11)] 2011 19th International Euromicro Conference on Parallel, Distributed and Network-Based Processing - On Designing Multicore-Aware Simulators for Biological Systems

Aldinucci, Marco, Coppo, Mario, Damiani, Ferruccio, Drocco, Maurizio, Torquati, Massimo, Troina, Angelo

Year:

2011

Language:

english

File:

PDF, 394 KB

english, 2011

5

Approximating Imperfect Cryptography in a Formal Model

Angelo Troina, Alessandro Aldini, Roberto Gorrieri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 284 KB

english, 2004

6

Typed stochastic semantics for the calculus of looping sequences

Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 556 KB

english, 2012

7

Weak bisimulation for Probabilistic Timed Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 485 KB

english, 2010

8

Automatic Analysis of the NRL Pump

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 348 KB

english, 2004

9

Type Disciplines for Analysing Biologically Relevant Properties

Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 342 KB

english, 2009

10

Simulation techniques for the calculus of wrapped compartments

Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 650 KB

english, 2012

11

Design and verification of long-running transactions in a timed framework

Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Journal:

Science of Computer Programming

Year:

2008

Language:

english

File:

PDF, 1.98 MB

english, 2008

12

Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments

Calcagno, Cristina, Coppo, Mario, Damiani, Ferruccio, Drocco, Maurizio, Sciacca, Eva, Spinella, Salvatore, Troina, Angelo

Journal:

Electronic Proceedings in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 504 KB

english, 2011

13

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday

Barbuti, Roberto, Maggiolo-Schettini, Andrea, Troina, Angelo, Dezani-Ciancaglini, Mariangiola, Milazzo, Paolo

Journal:

Fundamenta Informaticae

Year:

2010

File:

PDF, 342 KB

2010

14

Preface

Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 106 KB

english, 2009

15

Preface

Jean Krivine, Angelo Troina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 92 KB

english, 2010

16

Parametric probabilistic transition systems for system design and analysis

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 258 KB

english, 2007

17

A Classification of Time and/or Probability Dependent Security Properties

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 318 KB

english, 2006

18

Bisimulations in calculi modelling membranes

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 786 KB

english, 2008

19

Reachability results for timed automata with unbounded data structures

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Acta Informatica

Year:

2010

Language:

english

File:

PDF, 717 KB

english, 2010

20

Automatic Analysis of a Non-Repudiation Protocol

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 321 KB

english, 2005

21

Stochastic Bigraphs

Jean Krivine, Robin Milner, Angelo Troina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 568 KB

english, 2008

22

A METHODOLOGY FOR THE STOCHASTIC MODELING AND SIMULATION OF SYMPATRIC SPECIATION BY SEXUAL SELECTION

BARBUTI, ROBERTO, MAGGIOLO-SCHETTINI, ANDREA, MILAZZO, PAOLO, TROINA, ANGELO

Journal:

Journal of Biological System

Year:

2009

Language:

english

File:

PDF, 915 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски